161. Reuse in the Big Data Era :
پدیدآورنده: Xin Peng, Apostolos Ampatzoglou, Tanmay Bhowmik (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer software-- Reusability, Congresses.,Systems engineering, Congresses.,Computer software-- Reusability.,Systems engineering.
رده :
QA76
.
76
.
R47
I587
2019
162. Rewriting techniques and applications :
پدیدآورنده: Harald Ganzinger (ed.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algorithms, Congresses,Computer programming, Congresses,Rewriting systems (Computer science), Congresses,base Gröbner,déduction,lambda calcul,Logique,réécriture,réecriture conditionnelle,réécriture graphe,Sémantique,théorie type,unification
رده :
QA267
.
R48
1996
163. Rigorous software engineering for service-oriented systems :
پدیدآورنده: Martin Wirsing, Matthias Hölzl (editions.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: SENSORIA Project,Service-oriented architecture (Computer science),Web services
رده :
TK5105
.
5828
.
R54
2011
164. STACS 92 :
پدیدآورنده: A[lain] Finkel, M[atthias] Jantzen (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: računalništvo -- paralelni algoritmi -- logika -- sementika -- računalniška geometrija -- jeziki -- strukturna kompleksnost -- komunikacije -- distribuirani sistemi -- kompleksnost -- kriptografija -- algoritmi -- VLSI -- sistemi.
165. Scientific computing in electrical engineering :
پدیدآورنده: Ulrich Langer, Wolfgang Amrhein, Walter Zulehner, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Electrical engineering-- Data processing, Congresses.,Engineering mathematics-- Data processing, Congresses.,Computational Science and Engineering.,Computer-Aided Engineering (CAD, CAE) and Design.,Electrical Engineering.,Mathematical Modeling and Industrial Mathematics.,Mathematics.,Simulation and Modeling.,Theoretical, Mathematical and Computational Physics.,Computer modelling & simulation.,Computer-aided design (CAD),Electrical engineering-- Data processing.,Electrical engineering.,Engineering mathematics-- Data processing.,Mathematical modelling.,Mathematical physics.,Maths for scientists.,TECHNOLOGY & ENGINEERING-- Mechanical.
رده :
TK5
166. Seamless object-oriented software architecture
پدیدآورنده: / Kim Walden, Jean-Marc Nerson
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Object-oriented programming (Computer science),Software architecture,System analysis,System design
رده :
QA76
.
64
.
W35
1995
167. Seamless object-oriented software architecture. analysis and design of reliable systems
پدیدآورنده: Walden, Kim.
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع: ، Object-oriented programming )Computer science(,، Software architecture,، System analysis,، System design
رده :
QA
76
.
64
.
W35
1995
168. Seamless object-oriented software architecture : analysis and design of reliable systems
پدیدآورنده: Walden, Kim.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Object-oriented programming )Computer science( , System analysis , System design
رده :
QA
76
.
64
.
W35
1995
169. Shifting paradigms in software engineering :
پدیدآورنده: R Mittermeir
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,shifting paradigms,Software engineering.
170. Simulation-Based Experiential Learning
پدیدآورنده: edited by Douglas M. Towne, Ton Jong, Hans Spada.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Computer simulation.
رده :
LB1029
.
S53
E358
1993
171. Social informatics :
پدیدآورنده: Karl Aberer ... [et al.] (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Information society -- Social aspects -- Congresses.,Information society -- Social aspects.,Information technology -- Social aspects -- Congresses.
رده :
T58
.
5
K375
2012
172. Software Engineering -- ESEC '95 :
پدیدآورنده: edited by Wilhelm Schäfer, Pere Botella.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Software engineering.
173. Software Engineering and Environment :
پدیدآورنده: by Phillip C.-Y. Sheu.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Object-oriented programming (Computer science),Software engineering.
174. Software Fault Tolerance :
پدیدآورنده: edited by Manfred Kersken, Francesca Saglietti.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Computer system performance.,Data transmission systems.
رده :
QA76
.
9
.
F38
E358
1992
175. Software Pioneers :
پدیدآورنده: edited by Manfred Broy, Ernst Denert.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Software engineering.
رده :
QA76
.
2
.
A2
E358
2002
176. Software System Design Methods :
پدیدآورنده: edited by Jozef K. Skwirzynski.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer Communication Networks.,Computer science.,Software engineering.
رده :
QA76
.
76
.
D47
E358
1986
177. Software architecture :
پدیدآورنده: Carlos E. Cuesta, David Garlan, Jennifer Pérez (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Software architecture, Congresses.,Software engineering, Congresses.,Software Engineering.,System Performance and Evaluation.,The Computing Profession.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Software architecture.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
751
178. Static Analysis :
پدیدآورنده: by Patrick Cousot, Moreno Falaschi, Gilberto File.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
179. Symposium on real-time and hybrid systems :
پدیدآورنده: Cliff Jones, Ji Wang, Naijun Zhan (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Formal methods (Computer science),Software engineering.,Artificial Intelligence.,Programming Languages, Compilers, Interpreters.,Software Engineering.,System Performance and Evaluation.,Theory of Computation.,Artificial intelligence.,Computer science.,Computers-- Computer Science.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Programming & scripting languages: general.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
758
